perm filename AMB10.360[GF,SYS] blob sn#788174 filedate 1985-03-19 generic text, type T, neo UTF8
{`d¬ 4~.23~-F(⊂≥l↔_⊂_n&(0]V ⊂_O∩(⊗∞Fx#QEnxπ→n&λ<YMvp:λw⊂0↑&T  HD2λ⊂D5P↓V UHαV U@βVu@βUa∃8∧Ua∃0¬UA50¬U!U(↓@A¬ αA∃ ↓A↓¬ ↓A↓¬_α↓↓∃_↓AA¬_λTB5⊂	T@0@∧∀ @@∧T 0P∧∀ 0P∧∀@P∧T0`∧∪`@`∧∩A@(λRA@(λRA@(λQ(D⊂∂H∧∩λ¬i!P%εip8∧α	p8∧B	p8∧B	p8¬α	p8¬α	p8¬α	p8¬α	p8¬α	p8¬α	p8∧B	p8∧Aip8∧↓iq('EIp8∧Aip8¬↓ip8¬α	p8¬Aip8¬B	p8¬B	p8¬B	p8¬B	p8¬B	p8¬B	p8¬B	p8¬α	p8¬α	p8∧B	!`%εi!@"Qλ1h⊂λ$⊂h∧↓@% ε@`5⊂βA!∃βB↓∧xβB@tpβCdhβC@T`∧β@T`βDDX∧∧DX∧∧ 4XβD@4P∧∧@4P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩`q⊂↓Ra↓λ↓Ra↓λ↓Sqλ↓S↓x↓S px↓S@ph↓S`pXα∀pHα∀@p(αU↓e8∧⊃(D ⊂HD∩λ¬i!H%εip@βα)p@∧α	p@∧B	p@¬α	p@¬Aip@¬B	p@¬B	p@¬B	p@εα	p@εα	p@εα	p@εα	p@εα	p@εα	p@εα	p@εα	p@εα	p@εα	p@εα	p@ε↓ip@¬B	p@¬B	p@¬Aip@¬Aip@¬↓ip@∧B	p@∧α	p@βα)!X%ε)!8"QλQh∂λ$⊂
RC4P
Sa8βSaPα∪aPαSaXα∪aXα∪a ↓ADx∧↓0(↓Sa ↓A 4x∧↓0(↓Sa_α∪a_α∪a⊂αSatxπSa⊂αSa_α∪a_α∪a ↓A@4x∧↓00↓Sa ↓A@4x∧↓0(α∪a`α∪a`α∪aXαSaXαSaXα∪aHβ∪a8∧∩CDP∞∩CD("⊃C!X⊂H ↓H%ε)!H'BP8'Bp('B↓('B↓⊂ 'B↓⊂ 'B↓⊂ 'B@_↓@ip@α`0_'B@_↓@ip@αip@↓A	p@↓A	p@↓↓)px'Cip@↓↓)p@↓A	p@↓A	p@αip@αip@αip@αip@'B	p@'B	p@'B	!⊂%∧I!⊂"Qλrλ∩λ$⊂h∧A@% π`5⊂∧↓!∃βB!∧xβCdpβC dhβC`ThβDD`βD DX∧∧ DX∧∧@4XβD`4P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A∧P∧∩A8	∩`p8	∩a0	∩ah∧∪ph∧∪ p`∧∪ p`∧∪@pX∧∪`pP∧∀p@∧TA ¬∃↓P_α∃a0↓Q(D@⊃I∧∩λ∧ ⊃λ%∧ ⊃λ%∧ ⊃λ'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'B↓ @'FIqP'FIp@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	p@¬α	!λD)!λD)!λD(T $D""λ⊂@α∀PλRB∀x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧PλRB∀PλQ(DPED∩λβ∧*↓λ(∧*`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α
`@+α	@(αB	08αα	 H↓B	 H↓B	 H↓B	 H↓B	 H↓Ai08↓B	00↓B	Ph'B(T %HdBλ⊂@α⊂⊂εRB⊂⊂εRB⊂⊂εSaPβ∪aPα∪aHα∪a@α∪a8α∪a0α∪a(α∪a α∪a αSa_β∪a⊂∧∪aλ∧Sb4x	Sa λ∧Sa⊂_∧∪a⊂_∧Sa(∧∪a(∧Sa0∧∪a0∧Sa8∧∪a8∧Sa@∧∪a@∧SaH∧∪aH∧SaP∧∩B⊂λλRB⊂λλRB⊂λλQ(D`
εd∩λ∧I!⊂%∧Ip@'B	p@'B	p@'B	p@'B	p@'B	p@'B	p@'B	p@'B	p@'B↓ _'B↓ _'B↓ _'B↓⊂ 'B↓⊂ 'B↓⊂ 'B↓('B↓('Bp('B`0'B@@%ε)!H%ε(T &KEbλ⊂@↓q_ε∩Aq_ε∩Aq⊂εT↓!λ∧∀↓!∧T↓0x∧T↓0p¬∀↓@h¬∀0λ∧β!%↓@!`¬T0λ∧B`0λβT0⊂∧α@@λβT0⊂∧B 0⊂βT0_∧α@⊂βT0_∧A`0_βT0 ∧↓`0_βT0 ∧↓@@_βT0 ∧A 0 βT0(∧↓@ βT0(∧@`0(βT00∧@@(βT00∧@ 00βT08∧ 00βT08ε↓@u↓Aa08βT0@¬↓`u↓B↓⊂@βT0H∧αu↓B pHβT0Pβα txαB `HβRA`(αAα$Pπ↓@@ 	∩A`0↓A"$("∪D2 ⊂H h¬β	 p∧C	 p∧C	pPε↓)pXεip`¬@ip_B↓0_'@`⊂H¬ip_↓α!⊂_'@`0@∧@ip_↓B!_'@`@Hβ@ip_αB `_'@``@βip_βα P_'@`pHαip_∧α 0_'@a⊂@↓@ip_∧B  _'@a H@ip_¬B⊂_'@a0`'@a@X'@aPP'@a`H'@a`H'@ap@'@b8'@b8'@b⊂0'↓"⊂(%β↓p %β↓p %βα_"Q	qp⊂H$⊂X∧∀AeβAtxβA@tpβBthβB@thβB@t`βCt`βCtX∧β↓∧X∧β↓∧XβC@tP∧βA∧P∧βA∧P∧βA∧P∧βA∧P∧βA∧P∧βA∧P∧βA∧P∧βA∧P∧βA∧P∧βA∧XβC@tXβC@tX∧β↓∧`βCt`βCthβB@thβB@tpβBtxβA@uβAu⊂π∃!∧("∀βQp⊂H ↓0%ε)!P'B`@'Bp@'Bp@'B↓@'B↓@'B↓@'B↓@'B↓@'B↓@'B↓@'Bp@'Bp8'B`8'E	qλ'B	p@'B	p@'B	p@'B	p@'B	p@'B	p@'B	!λ%∧)!λ"Q
⊃p⊂JD⊂X∧∀AeβAtxβαdpβα@dhββdhββd`ββ@d`ββ@dXβC@tXβC@tXβ∧dPβDtPβDtPβDtPβDtPβDtPβDtPβDtPβDtPβDtPβDtXβ∧dXβC@tXβC@t`ββ@d`β↓` β∪ `⊂∧@ dhβ@0⊂¬SA _∧Sa⊂_∧∀↓_βTA`(↓U!0(↓WP_α↔↓E`ε↔↓Eh¬↔!%p∧↔A¬xβ⊃(E⊂⊃λd∩λ¬)!@%εIp@αB)p@βα	p@βB	p@βB)p@∧α	p@∧α	p@∧α	p@∧α	p@∧α	p@βB	p@βB	p@βα	p@αB	q_'D	p@α↓)p@αA)p@αAIp@αAip@αAip@αAip@αB	p@αB	p@αB	p@αB	p@αBP_'BP@α@ip@β↓`P_%∧  @↓@i!λ↓C)!λβαλT )EC∩λ⊂AA ↓SA@⊂↓S P ∧S@@βR`PHβ∩`@XαR@P`α∩@P`α∩@Ph↓R@``↓R@pX↓RA∧Pε∩atXλSα∀`	∪"∀xλ∀!e(¬V↓∧P↓C dP↓C dP↓C@TP↓C@TPαβ TPαβ DPαCDPβα@DP∧↓`TP¬↓TP↓@a4P↓A!∧("∃βb⊂λ⊃`%G	1`%B @↓α	00αα@0%↓@P@αAI (βα`(%↓p@βA	  βBp %↓p@βA	 _∧α↓_%a@∧jP@*B
P@*B
P@*B
P@*B
P@*B
P@*B
P@*B
P@*B
P@*B	a('¬)a("Q
R_∩λ$⊂λAADPλAADPλAADx∧β@Tx∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`4x∧β`5βC@E∧β 5λβCEλβC5⊂βB E βA U(πV↓∀("∃D"_⊂H ↓βBi!βBi!βBip@εA)pHε@j@ε↓
@εjH¬↓
⊂@¬j⊂@¬j⊂H∧↓
 @∧j Hβ@j0@β↓
0@βj0Hα↓
@@αj@@αj@H↓↓
P@↓jPH@j``+αj`X+B*pH+B+8,↓k⊂0,A+⊂(-k _"Q
rh_λ$⊂ε@!p0¬∩APλπAA$Pε@!p0¬∪!@∧βDh∧α↓`↓S!⊂8∧B@Dp∧α↓P↓SA@∧α@4p∧Aa⊂@α∪a@∧α4x∧α↓@↓Sa⊂0¬↓@E∧↓A 0↓T↓0¬↓@5∧A↓@ α∀! ↓@! ↓T!⊂_↓@!⊂_↓TA⊂αA⊂α∀A⊂↓@a⊂↓TAP_εTa0(¬Ta0(¬Ta0(¬U↓⊂8∧U↓⊂8∧U↓⊂8∧U pHβU pHβU pHβU@PXαU@PXαU@PXαU`0h↓U`0h↓Q(E@∩	∧∩λD0x%D0x%D0x(α! ((B! )α↓_)α ` )BP )B @_*α   *B⊂ *C
`X+B*pH,αH,B+⊂H,BK`+A⊂@+@` H+↓0@*A@H*@``H*↓p@)A↓H)@a H)↓↓0@(↓!@H%β`Q%β`Q%β`Q"Q∩⊂⊃H$⊂λ↓a4Pλ↓a4Pλ↓a4x∧CU∧βE∧B`5λ∧α@Eλ∧B 5⊂∧αE⊂∧A`5_∧↓@E_∧A 5 ∧↓E ∧@`5(∧@E(∧@ 50∧ 50ε∃a%8¬⊗↓¬@∧⊗↓¬@∧⊗↓¬@∧⊗↓¬@∧⊗↓¬@∧⊗↓¬_λTb∃_λQ(EPεd∩λ↓¬)A(&¬)@8αB	@(βα)0(βB	0 βB)0 βB	0 βα)0_βB	0_βα)0_βα
0H)B
 H)α
⊂H(B
⊂@(α `_(αp_'B p_'Bp 'α p 'α↓ &B! &B↓⊂ &α! &α↓⊂ %B p0%B`@%¬i!8%¬hT 0EBq0↓A∧pε∪ P_β∪p_β∪p_β∪p β∪ P(β∪@00β∃`e8β∀a$xπ∪!⊂β∪p β∩``0β∩@p0β∩@`8β∩@`8β∩@`0βR@p(βR`p_∧SαDxβ@`t("_C⊃H⊃λ@P%αI P'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0↓↓Ia'α 00'↓``0'↓``0'↓A0'↓A0'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A0'↓A0'↓``0'↓``('α 0('↓ P'`@8"Q1λ	¬B`8βSa4hβ@ d`β@ t`β@tXβ@@tXβ@`TPβA 4PβR@tPβR@tPβR@tPβR@tXβR`p8↓∪`8↓∪p(↓S p_↓Sa%λβQ(F εD"⊂¬αj@X*αk⊂0,AK⊂0,AK⊂0,AK⊂0,AK⊂0(A`⊂0'D	`(↓B)P(β↓i@0βAI00∧↓I00∧↓I 8∧↓I 8∧↓I 8∧↓I 8∧↓I 8∧↓I 8∧↓I 8∧↓I 8∧↓I 8∧↓I00∧↓I00∧↓I@0β↓i@0αB	P0↓C	q_(A@ H"QQ_
¬B`8βSa4pβ dhβ`T`β↓dXβAdXβA TPβA@dPβA@dPβA@dPβA@dP	RB4PβR@tPβR`tXβB $`βα4hβ↓@4pβ↓4x¬T!∧("→BA_⊃λA⊂@(Bj0↓↓)p0↓↓i`8↓↓i`0↓Ai`0α↓)`0α@i`0'↓I`0'↓I0h%C)0h'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I h%β) h"Qq0Gb`0β@@TpλS P_α@ T`αA!$Xβ↓!$Xβ↓!∀Xβ↓ dXβ↓ dXβ↓ dXβ↓ dXβ↓ d`αA Thα@`Tp¬S!$h↓∪ $h↓S!dhλ∪B∧pλSαDXαB tPαCTPαCTPαCTPβα@dXαB@T`β↓@dhλ∀↓$("~β!P⊃λ@P%αI P'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0↓AI`0↓α)`0@` 0'α @('αP0'↓``0'↓``0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0%β `%β `%β `"Q
⊂XελD _α∪dX∧∩a∧X∧∩a∧`β∪ D8↓RA∀P∧RA∀pαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαRA4P¬RA4("~BX∃HA  )AJ @)α
 @)α
00*↓λp_(B*⊂H(B*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(*A*P(&``(%A P(%↓`@(%↓`00%↓`0(%A 0(&αi`8"Q
1@λD ¬∩A$P¬∪@dpβ∪@dpβ∪@dpβ∪@dpβ∪@dpβa∀pβa∀pβa∀pβ↓ Tpβ↓Dpβ`Dpβ@Dpβ Dpβ Dpε∪ADpεSATpβ tpα@`tpαAdpαAtpαA tpαA@dpαA@tP¬@!DP¬@!DP¬@!D("≠↓Ph⊃λ@P%αI P'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I h%β) h"Q
RH∀EB`∧A `@β∩A⊂_¬↓↓$P∧@@@⊂β@@⊂β∪@Pλ↓A Pλ↓A Tp∧↓A0β∪@p8βA`dpβA`p8β∪@`@βαdpβα`@β∪@`@βαdpβα`@β∪@`@βαdpβα`@β∪@`@βαdpβα`@β∪@`@βαdpβα`@β∪@`@βαdpβα`@β∪@`@βαdPε@!PλεRAPλε@!TPε@!PλεQ(Fp
εBa0α @0%α 0H%α  _↓↓I`(@`@('αP0'↓``0'↓``0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0'↓@p0%β `%β `%β `"Q
q0EB`8∧∪aDpβ@dhαA@T`β↓@dXβA@tXβαdPβBtPβBtPβBtPβBtPβBtPβBtPβBtPβBtPβBtXβαdXβA@t`β↓@dhαA@Tpβ@dxε∀!∧("≤β⊃H∂E@P↓↓I! %β 00'↓`P8'↓``0'↓@p8'↓@p8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓A8'↓@p8'↓@p8'↓``0'↓`P0'α  0'∧	`0Ai`0'↓I`0'↓I`0'↓I h%β) h"Q∞⊃@
πb`8β↓ 4x¬@DpβA∀hβ↓↓∧`β↓@tXβA@tXβA`dPβBdPβBdPβBdPβBdPβBdPβBdPβBdPβBdPβBdXβA`dXβA`d`β↓@t`βA↓∧hβa∀xλ∀ `⊂β⊗ eHβ⊗ eHβ⊗ eHβ∃!U(εU!T("≤B1_¬@H↓A	 H↓↓i HB)`x'↓`⊂8'↓`⊂8'↓` ('↓@@_'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0'↓I`0%β) h%β(T 9Dα⊃0↓`⊂↓S↓T`↓@`tXα↓ TPα↓`DPαα4Pαα4PαA`4P∧∩ADXε∩aT`εSAEλ∧R@0@αR@0@αR@0Hα∩@@@α∩@P0α∩@p α∩AdP↓@@t("≥↓q∂G``_(j_(ip 'A	p '↓)P0%βI p%βIP0&AIP0&AIP0&AIP0&AIP0&AIP0αIP0αIP0αIP0αIP0αIP0αIP0αI`0↓ipH(AHT :FC!0↓ _¬∩A _¬∩A _¬∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`8β∪@`0βS@`0βS``_ε∀αE⊂β@A∀("≥C↓8¬@`↓B) `↓B) `↓B)`0∧↓	`8β↓	p0βip0βip8α↓
0αj0αj8↓↓
⊂0↓j⊂X)α* H)α*08)Aj08*↓*@(*@jP_"Q∞r_⊃¬B`¬@A⊂(∧∩A0⊂∧A!∧P¬@A⊂(∧∪ `8αB DhβA@`8α∪@`8αA`4pβ↓@`8↓S@p(βA Dxβ↓↓(↓S`p_∧@`Eβ`0λα@`5β@@λα@`5β@ 0⊂β Eλ¬`Pλ↓T!⊂ ∧TA(∧∀A(βT@p0βT``8αT`P@αT`P@αU@H↓U0P↓Q(G@
ε"a0C0H%C0H%C0H'A`` (↓`@ (A@0 (A`⊂ )αJ0@)B
@8*AJ@@)BJ0_AJ  Aj⊂ ↓Aj αAIp β↓i` ∧↓i HαC	 HαC	 HαCλT <Fαqx↓@_∧RA@_∧RA@_∧S@`@α∪@p8↓S``0α∪``0↓S`p α∀` ↓T` ↓Tp⊂α∀ `⊂↓T pλ↓TA%⊂∧TA∃_∧∀`u_βUU αU E(↓U 4p↓@`Dhα@@4`¬S↓$`¬∪↓∀hβS@T("≡B!_¬@⊃λ%D)0(α↓i0 αα	0 α↓i0_αα	0_α↓i0_↓B	0_↓Aj@(↓ip@'Ai`@↓@i`8αiP@αiP8α↓	@@α↓	@8αA	0@α↓	08α↓)!λ%∧(T ε#"λ⊂@β∧P∩C∧x∧↓tx∧↓@Tx∧↓`Tx∧αDx∧αDx∧αDx∧α 4x∧α 4x∧α 4x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∪a∧x∧∩B$P	∩B$("$20⊂H"_,A+⊂(,↓k8+B*pH+αj`X*C*P_↓α
@ ↓α*@_αα
0 αα*0_βα
  βα* _∧α
⊂ ∧α*⊂_¬α
 ¬α*_εα	p εα)p_πα	` πα)`_λα	P λα)P_	α	Ax&πi2λ%H)"_%λi"_"Q"⊃H$⊂X¬∀aeλβAuβαdpβB@tpββdhβCt`βC@t`βC@tX∧βA∧X∧βA∧XβDtP∧`0 ↓@a∧P∧a _∧∩A_¬a∧P∧a _∧∩A_¬a∧P∧a _∧∩A_¬a∧P∧a _∧∩A_↓A0_∧∩A_↓A0_∧∩`qβRap∧∩ap∧∪ppβSppβS p`βS p`βS@pPβS`p@βT p βTae(¬⊃(@_∞GD∩λεA
p +A
p +↓J`0+↓J`0*B
P@*B
P@*αJ@P*αJ@P)C
0_B
0_B
  B* _↓B
 _↓B
 _↓B
⊂ ↓B*⊂_αB
⊂_αB
⊂_αB
 αB*_βB
_βB	p βB) X↓∧	 X↓∧	 X↓∧λT α¬c"λ⊂@αtPRBtPRBtPRBtP↓D 4P↓D 4P↓D 4`↓C 4`↓C 4`↓C 4`	Sα4`	Sα4`	Sα4`	S0h↓S0h↓S0h↓QI _λ@i _λ@i _λ@i!8%¬i!8%¬i!8%¬i!8"QR_∩λ$⊂⊃RD4P⊃SaP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∪aP∧∩Ap(πRAp(πRAp(πQ(@0∞H∧∩λπ	!`%π	0@¬B	0Hπ↓	@HεA)P@π↓	PHεA	`Hε↓	p@ε@ipHεjH¬@j⊂@(B* H)B
0H*α
P0*A*P *↓↓@_)A↓P_)↓↓`_)a` (A↓` (↓↓p 'A↓p('↓α &A↓P@&εI1X%π	!`"Qr⊃H$⊂_βCt`¬α↓$Xε↓ADPπ↓↓dPπ↓↓dPπ@AtPα@A⊂∧@TPα↓!`(α∩@08ε↓`4P↓Aa@8↓U!%(¬∃!%0∧∃A¬0∧∃A¬0∧∃A¬0∧∃A¬0∧∃A¬0∧∃A¬0∧∃A¬0∧∃A¬0∧∃A∧x
SbTx
Q(@@∂λ$∩λα¬)a('¬*P@*B
P@*αJ↓⊂'E	Q@&α⊂@B	@8↓α 8%B @↓α	08↓B08%α0@↓B	 @↓B0@%α0@↓B	 @↓B0@%α0@↓B	 @↓B0@%A`0@↓Ai0@↓α @&↓` @↓↓i@@B⊂@&F	q (∧J@P*B
P@*B	a('¬)a("Q↓∩⊃H$⊂(
SbTx
UA¬0∧∃A∧P∧↓↓ ∧∩A ∧↓↓∧P∧@a_∧Ra_∧a∧X∧a_∧∩a_∧a∧X∧a_∧∩a_∧a∧X∧a_∧∩a_∧a∧X∧a_∧∩a⊂⊂∧A∀`∧A⊂∧∪↓⊂∧A∧`∧@!λ∧S!λ∧!∧h
∪C∧x∀αE⊂λ∃↓E0∧∃A¬0∧∪bTx
SbT("αCR⊂H!⊂X(∧)`@αB	P8∧Ai@8¬Ai0@¬B	0@¬B	 @εB	 @εB	 @εB	 @εB	 @εB	 @εB	08εAi08εAi08εAi@0εAI@0εAI@0εAIP(εA)P(εA)P0¬AI`(¬A) _A!0(@i _A!0(@i _↓↓↓0 ↓i _↓↓!⊂(↓i  ↓↓↓⊂ ↓↓	 P∧BI0H∧B)0H∧B)0PβBI0PβBI0PβBHT _¬Bqx∂Aa∧xε∪@`⊂β∪ ` β∪`0β∪`0β∩``@β∩``@β∩``@β∩@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR@p@βR``@β∩``@β∩``@β∪`0β∪`0β∪ P0αS@`⊂β∪aEλ∧⊃(Cλ
EcqxεjP )↓i@h&β*⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B
⊂@(B	!(%¬)!("Qε! πcp0βS!T`πR`P ∧∩`` ∧∩A_∧RA ∧∩A ∧∩A ∧∩``(∧∪@0∧∃A¬(∧∃!¬(βUu β∀`e⊂β∀@P ↓T @0↓T@0α∀08α∪`08α∪AtpπS"∧`λRb$XλRB$P	⊃(C_
¬CqxαB	``&βi@(↓B	08↓Ai0@↓α	0@↓α	0@↓α	0@↓α	@0↓B	P α↓j@8*↓J00(↓j8*A*`(+↓J`8&↓ P@%A`@@%α 0@%α 0@%α 0@%α 0@%α 08%A`0@%A@0@&βiP`'BλT ~¬"ax∂C@58α∃`E0αU e(β∃u_∧∀a¬⊂∧T!%¬T0λβS`@λβS@@⊂βS@0_βS @_βS@ βS0(βR`@(βR@@(∧∩BTP
RBU_∧∀a¬_∧∀a¬_∧∪B∀pλSB∀("
"A0∂G` _¬@IA&βi@x&βI@`&αI@_&i@_&i@_&`⊂@&βI@0↓AI@ β↓I@_βAj`8+α
`@&↓`@%A@P@%α@@%α@@%α@@%α@8%↓`P8%A P8%A @@&βiP`'BλT ≠¬Bqx∂B uλ¬SadpβADhβAdhβ↓t`βAt`β↓ tXβA@TXβA`4XβR@p⊂β∩@pλ¬∩@pλ↓`dP¬↓dP∧A tP∧A@dP∧↓`tP∧↓`tP∧↓`tP∧↓`tP∧↓`tXβA`tXβA`tXβA`tXβA`d`βA thβ↓ dhβ@`tpπT↓5⊂βQ(C8
¬d∩λ@i0_%Di1_%DI1λ%D)1%∧	!%↓p %a_%`p %`p_%`` )A
  )↓
⊂((↓J0'Aip8'Ai`@'α	PH&B)PH&B)PH&B)`8'A(T ≤¬αax∂A`tx¬SAThα@`t`α↓`TXαα TXαα@DXαB DXβαDXβA@TX∧ADX¬@T`πS↓dhεSAThπSα∀XβA$XαA↓$Pβ↓A∧PαBtPαB dPαB@TPαB@TPβα TPβαTXβ↓`T`β@`d`πSADx∧Q(CH¬cqxβAipX&Ci@8↓Ai@0αAI08β↓I00βAI 8βAi 8βAi 8∧↓I 8∧↓i 8∧↓i 8∧↓i 8∧↓i 8∧↓i00βB	00βB	@0βα	@0αB)P0↓BIpHAj⊂0↓↓K8,↓i`_βAiP(αAi@8α↓i@8↓Ai@8↓↓iPp'β
8"Q∧A⊂
J∧P@↓T@5⊂↓Ttp¬S!T`α@ 0⊂↓R`P⊂↓@@DXα`0⊂αR@P_↓@ dPα@a$Pα@a$Pα@a$Pβ@0λαR@`⊂↓@@4Pβ@ 4X¬∩a4`ε∪!Dpε∪aE⊂∧TA∃⊂↓@ d`↓@`0λβ∩`P⊂↓@@TPβ@ 0⊂αR@pλ↓@@TPβ@ 0⊂αR@`⊂↓@@TPα@`0⊂α∩`0 ↓@ TXα`0λαS@⊂↓@ Dhε∪A%β∀@5⊂↓T@4("	D∩_⊃λA 0)α*⊂0A
⊂(↓↓
0↓A
0↓A
0↓A
0↓A
0↓A
0↓↓*0↓↓
`(α`PX(B `X(BpX(Aa@ (Aa0 (α! _'BA⊂ 'β↓_&A ⊂8βA	@0BP %A@08α@i00↓B0 %↓`@8↓↓	 8αα⊂_%↓`PX%↓``H%↓`p8∧@i @βAa_%A``Hβ↓	@0αβ 0(&β`⊂p'α`PX(↓a⊂8"Qπaλ
λC⊂@α∀ e∧∀↓¬∧∀↓¬λβ∀@D8↓T@5⊂↓T@5⊂↓T@5λα∀ Eλ↓TDxαS@Thβ∪dXβA4PβATPβ@`tPβ@`tPβ@`tPβAdXβ↓ DXβ@`T`εSA∀("∂b⊃ ⊃λ@@H&β)0(↓Ai0 αAI 0α↓i 8↓Ai 8↓Ai 8↓Ai0(α↓i@_α↓j00)↓J ((A*⊂ (@j (↓
_(j_(j_#@j 'AI`@'α	`@'α	p0(↓λT λαaA0↓∀P∧RA∀pαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαS@TpαRA4P¬RA4("∧!`X∂E@PH'B)pH)A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A*0()A)@_α↓)0(↓A) 8↓↓) 8AI 8A)0(A)0P&AHT Ebr⊂⊃α↓¬λ¬S``⊂β∪``_β∪@` βS@` βS@` βS@` βS@` βS@` βS@` β∪@`_β∩A ⊂β∩A ⊂β∩A  αS@`(αS@`(β∪@`(β∪@`0β∪@`0β∪@`0β∪@`0βS@`0βS@`0βS@`0βS@`0βS@`0βS@`_¬∪@`⊂¬S@`λε∪@`λ¬S@`λ¬RA λ¬∩A ⊂∧∩A _αQ(AP⊂HBa0βα`@'β X&A 0`↓↓)@8↓B P(&↓`0HαAI@8α↓``0&A P8βA)`_β↓A0+AA0+AA0+AA0)ε)ah&B 0&↓@P0%A@p0%↓A0%↓A0¬@I 0∧↓a⊂_%↓``Hβ@i08↓A ⊂0α↓	@h↓C	p@∧↓hT 
I∧Q0↓a@∧∪a@ ¬S@P α@@`⊂αS P0¬↓ T`αB↓⊂(β∩``@∧↓@dXβα↓8αR@`PβA`dPβα@`@β∩@`PβαdPβα@`@β∩@`P
∩@`P
∩@`Pβ∩@`Pβ∩@`PβR`PPβR``@∧α`$`αB↓⊂H↓S P0¬A`4pαAP⊂β↓Dxε↓↓Eλ∧α t("παa8⊂εb ⊂-@k0⊂-k ⊂(Bip`'↓ @(&A `(&↓ `8%A@`@%A@PH%↓@`⊂↓↓I 0α@` 0%↓@P⊂↓AI 0α`00%↓@@⊂α↓I 0↓@`@0%↓@0⊂αAI 0↓`P0%↓@ ⊂β↓I0(@``(%B`0&↓``(&A `('↓ @('C	`X'IP_&@I@_&HT ⊂B↓2⊂⊃`4`αR`tXβR`tXβ∩`dXβ∩`dXβ∩`dXβ∪T`αST`αST`α∪Dh↓S 4h↓S 4h↓Q`$`α∩`dP∧∩A∧P∧∩A∧Xβ∪D("λd20⊗λB_∧k _βA⊂ βA⊂ β@k⊂_∧k⊂_βA βA β@k_∧k_βA
p βA
p β@jp_∧jp_βA
` βA	"_%λi"_*Ap *Ap_*@a_*@`p *↓p *↓p_*a_*`p %λi"_%λj0_βA
  βA
  β@j _∧j _βA
⊂ βA
⊂ β@j⊂_∧j⊂_βA
 βA
 β@j_∧j_βA	p βA	p β@ip_∧hT ∩I∧r@∩A dp∧¬4`α@@A⊂α∪P_α∧DXαA @pαR`P(αCTPβ↓@PHβ∩@`0∧A∀Pβ↓B4Pβ↓@0_β@DPβ↓@0Pα∩@`0↓B@4Pβ↓@0Hα∩@`0↓BDPβ↓@08α∩`P(↓B4XαA 08α∪P_α↓@D`α@@@0α∪A8↓S``8α↓eXα↓↓¬X↓@`P⊂α⊗@@_α@`EHα`P(↓V@ αA 5@↓A`0↓U`@ β↓@50α↓ `0↓U @0β↓@5(↓A``0↓U@8β↓@5_αα`0↓T@@Hβ↓@5⊂↓B@`0↓T @XαA 5αβP(↓S`@pα@`Dx↓C`P⊂α∪@Aλ∧∪@1_β⊃(B8∧Cαα⊂↓↓	00%α	 H%α) H%B	@ @J⊂⊂(j⊂(Ip_'iP_&↓	@⊂"Q¬XλDPH↓∀ Eα∀4x↓S@Dpα∪ Dhα∪T`α∪DXαR`TXαR`TXα∩@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TPαR@TXα∩`TXαR`TXαSD`α∪Thα∪ Dpα∪@Dx↓T5α∀ E_↓⊃(BH¬C&"(I  %A	@_&@iP &A	` '↓	`('A	p 'A)p('A)p((↓
((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓*((↓	p('A)p('A)p 'A	`('↓	` &A	P &@i@_%A	  %HT ∃∧BQ(∩B5λαT UλαT DX↓@`@_↓R@P⊂α@TPβ@ ⊂β∩@pλ↓ tXλ∪a¬⊂↓∪a∧Xλ∩@pλ↓ tPβ@ ⊂β∩@P⊂α@TX↓@`@_↓T UλαT U⊂↓Q(BX⊂λd↓`π@k⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@i"%λ	",@k⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@k⊂_,@hT ⊗α!Aβ@@DXβ∩A∧P∧RA∀P∧Ra∧`α %λ↓∀5↓∀$x↓S@4h↓SD`↓⊃(Bp∧α`p8↓↓	00%α	 @%α	 @%AI@ "Q¬q⊂
LDPx↓V 5@α⊗E@↓U`E8α∃`58↓U@E0α∃@5(α∃ E(↓UE α∃5_α∀`E_↓T@E⊂α∀@5⊂↓T Eλα∀ 5α∀E↓S`Dxα∪`4pα∪@Dp↓S Dhα∪ 4h↓SD`α∪4Xα∩`DX↓R@DPα∩@4P↓Q(CP∧αba0↓↓	00%α	 @%α	 @%AI@ #AI@ %AI @%α	 @%α	00&↓λT ≥B↓1x@DXβ∩A∧P∧∩A∧P∧∩`d`α⊃`d`α∩`dP∧∩A∧P∧∩A∧XβSe↓∀$x↓S`$x↓∪@4h↓S4`↓⊃(C`∧αd!H↓↓	00%α	 @%α	 @%AI@ #@IP_&@iP_&@iP_&↓	@ &↓)@(&↓)@(&↓)00%AI00%AI00%AI00%Ai08%Ai@(&@hT ≡H∧0x
∧∧P⊂∩D∧8∧RD∧P⊂∩D∧("⊂∧α_⊃λA0P)CJ⊂0β↓J ε↓	p_λi`_	iP_
i@ β↓`p &`PXβi0 ↓A@@(α↓	0_↓A@p αi0_↓A!⊂0@i  ↓↓A⊂0A	 _↓A! 0↓i _↓↓A 0↓i _↓↓A 0↓i _↓↓A 0↓i _↓↓A 0↓i _↓↓A 0↓i _↓↓A 0↓i _↓↓A 0↓i _↓A! 0↓i  ↓↓A⊂0A	0_↓A!⊂0@i0_↓A@p8@i0 ↓A@@h&`PXB	@ β↓`P(&@i`_'@b@ (↓↓p8(AAH)DJP`"Q08εDPβR@tPβR@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4PβR@tPβQ(EhβB&"(↓i 8%↓i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_'i`_%↓i 8%↓hT 0α!1⊃↓ $hα∪ 4`↓R`4X↓∩`$P↓R@$P↓ DP∧∩A∀P∧RA∀X∧∪dhα⊃(A⊂¬βa∩⊂A	 0%↓i 8%α	0@&↓i`0'A*⊂_"Qα0P	B$ (α∪@dhβS t`∧∩a∧XβR@dPαR@4("¬↓a_∧π`_∧i  β↓	0(↓↓)@P&B	`0'A
⊂(HT 
CB0H⊃ P↓∩@ P↓∩@0@↓R@0@↓R`00↓R`00↓S@⊂α∪↓$h∧∪`D("¬B!(↓π ↓⊂%∧I!⊂"QαpXα$ _αRa∀X↓@`4P↓A 4P↓A 4P↓A 4P↓A 4X↓@`4X∧S T("ε↓aP∧@ @0'↓I`8'α*@)↓J⊂8'B	 `%αHT ⊂β↓P8
α 5⊂α∀Tpβ∪ TXαR@TP↓Q(Epε∧@r⊂α@I` &AI@@&α	0P%↓@ %``_"Qp@¬Ad ⊂α∩`dP∧∩A∧P∧∩A∧Xβ∪D("∨!q ∧H@0 ↓A	@0AI@0AI0p%CI00AI 0AI (↓↓)  ↓A	 _αhT ?∧α@0⊃`P0↓∪p ↓S↓_↓RadX↓a∧P↓AtP↓↓@T("∨b↓ βλ@ _βi0(α↓) 8↓↓i 8↓↓i 8↓↓i0(α↓)@_βhT ∞J%"λ⊂BcE(∞∃#EHε↓ uH↓@!@α⊗ 0λ∧αU@α!Hα⊗0⊂∧α E@↓@A⊂↓AE8αA⊂↓A 58↓@a⊂↓A 50αa⊂↓A 50↓A↓λα∃@0 ∧ E(α↓↓U(↓A!U(↓A!U α↓!U ↓AAλα∃00∧ E_α↓A⊂↓A@5_	@00↓Tb ⊂↓A@5⊂	@@0(α∀@0@∧α@Eλαα↓Pα∀ 0H∧α Uλ↓B!HαT@H∧α E↓BA8β∪`@P∧↓!∧PεC$PεC$PεC$("πEBx⊂H!1x)H*⊂8αEj0∧α `8'↓a @∧A	`0¬B↓⊂(&Aa0@¬↓	@8εα↓  &↓a@@↓`P %B↓@@↓``_%B↓@@↓``_%AaP@↓``_%α↓P@A	 @εB⊂ %α↓Ph%α↓Ph%α↓Ph%α↓Ph%α↓P@A	 @εB⊂ %α↓P@↓`p_%α↓P@↓`p_%AaP@↓`p_%B↓@@↓`` %B↓@@¬A	@8εα↓0 &↓a@@¬↓)P8¬B↓ ('↓A0@¬↓	`8¬α↓0(↓AHβα
⊂8αF
2⊂*HλT ∂H∧28∩ε 6⊂α_@E(¬@E_	∀ p ∧∀`@β∪@pPβS@`P∧∪ `X∧SpP¬S`Xα dXβB@@⊂βR`pPα@tXβB @_βR@pHαAtPβB @(βR@p@α↓@tPβB@0βR@p8α↓`tPβA`@8βR@p0ααtPβA@@@βR@p(αα tPβAPHβR`` αα@dXβ@@@PβR`p⊂αα@t`β @Xβ∪↓0PβS!⊂Xβ∪!⊂PβS@pXβ∪`p@βT↓ βSb$xαA$pα∪@Dp↓Q(@X⊂λ$"⊂∧B@@(Eip0αB ('↓@`8↓↓i`(βα 8&A p8↓AiP(βA`@(&A!0α@iP(∧↓IP(∧↓IP(∧↓IP(∧↓I!P%εI!P&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0&A!0%α@0`%α@0`%α@0`"Q↓AH
λD H∧∀!Dxβ↓ Tpβ↓@TpαA@thαA`thαA`thαBThαB 4hαS ThαRBdP∩BdhαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB ThαB TP¬aDP¬aDP¬aD("β#⊃P⊃λA⊂@↓j⊂x'A@P0'↓@`0'↓ `8&A p8&A p8&A!0&A!0&A!0&A!0&A!0%¬I!0%¬IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓IP(∧↓I P↓β) P↓β) P↓β(T π	Dr⊂⊃α@p0βT!@λε∀` ∧ATxαA@p0αS@`(∧↓ tpαA@p0βS@P0βA@tpαA``8αS@P@αB4pαBTpαBTpαBTP⊃RD4P⊃S@P@αBTpαBP@αS@P@αBTpαBP@αS@P@αBTpαBP@αS@P@αBTpαBP@αS@P@αBTpαBP@αS@P@αBTpαBP@αS@P@αBTpαBP@αS@P@αBTpαBP@αS@P@αBTX¬a ⊂ε∩a _¬ADX¬a ⊂ε⊃(@x∪J∧"⊂¬αP@↓j!`(↓@P@αAIp0β↓``0'A `8β↓i`(βA``8'↓ p8β↓i`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0%		" %		`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0'↓!(∧↓I`(∧↓!0%B@0P↓β)0P↓B@ h%B@0P↓β(T .∧C↓⊃↓  8↓∪ @(α∪ 00↓S00↓R`00↓R` 8↓∩` 8↓∩@00↓R@ 8↓∩@ λα@ λα∩Aλ∧∩B$P	∩B$X∧!∧`β`dhα↓ D("λB!⊂λλ@  αA	00↓AI @B	!⊂%∧I!⊂%B⊂@&↓⊂⊂↓↓⊂⊂(@@p⊂(``_(@p⊂(@p⊂'@``_'``_&@``_&↓P &@p⊂"Q¬Ppπ↓↓Pπ∩AdPπ∩AdPπ⊃(GXε⊂pε	!@"Q∂Cλ_@!`_RF∀(|β_T∀.@=p)OX≤OX≤?␈␈x⎇@_␈␈␈xy@∩⎇H∩0βαlλα_{⊂D0¬X⊗`∪o0!IXG∞ G>d ∪↓D "λK=HRλαOR@!H{⊃Cp¬αl⊂U∂0#I``Iz ↓H>d@∪@↓H@D@_O=I⊃ ↓K00B8{∩C ∧⊃λ@↓∞/0%I``D" α3}d`∂↓→HM(-=IRxβf3_[X{∪Dpε"⊃⊂↓S∂0'I `βQ>e⊃↓.pw@8f=J∩(β↓βλ{∀DP¬tOPα~o0)G H*U ∧X}e ⊃@↓1`9Hn=JR0β	z(↓$H{∃D`ε¬X⊂αZO0+L`↓D" ¬R>e@∪↓A0`@`β=K∩0βαlλ↓Hλ{⊗C`∧qc@β≥o00F @εX}f⊂∞↓∞_Gh\=L10↓cG⊂↓cλ{→β@∧8q`βO/02E@8∞≤@π<>f0π@N_Gx =LqHα↓yH{~β@∧8q`∧↓∂04C@ 8q`λ!>fPπ@N_G↓f=M1Pα∞≤8α∪λ{≠↓`α≤8p∧4O06J@h*U λ|>fp∞↓∞_G↓⊂E=MqHαα/λ{≤β@∧8q`∧iO08F@@8q`	o>g⊂
@n03↓ _=N1 ↓Iz(αG_{≥α0β∞≤@¬_O0:G@qc@
F}g0
↓πλc@↓(>=Nr(βα\H{≡β ∧≤8p¬Io0<F@@8q`(}gPq`9↓8∧=@↓pα3→PαuX{% εU*P¬w∂0↓	``8q`	>`_⊂↓$xR@↓@c=@Apα8q`β∪_{↓$pε"⊃⊂ε2←0β	XG∞ 
π↑`8∪@↓Gλc@↓PF⎇Aα αqcHβ/0{α$pε≤8pεo∨0¬	XG∞ ∞↓≡c@↓↓`Q⎇F⊃HαβR⊂{C⊂∧π-∨0→F @∞r↑c @↓↓p→⎇FQHαβh`{
C⊂∧π]␈0≠F @∂Z↑c@@↓↓x←⎇G⊃Hα∧αp{	β⊂∧λ∀←0∪	``8q`⊂R≡cpxp≤@αλt⎇Gq@↓qcH∧${∧↓`α≤8pλR␈0λC` qc@⊃3≡aH@↓α_∂⎇C" αqcH∧:p{εdpε≤8p	∧?0∞ε @∩)≡bλπ@N_Gα(∪⎇D2Pβ*U(∧W{	%0εqc@	C␈0∪C@ 8q`∪C↑b@	@c@rα8≤⎇E⊃_↓G∞ ∧z0{
C⊂∧
α?0∃I``8q`∀→↑b`πGλc@α@W⎇E`p↓∞≤8¬
P{c⊂∧
≡∨0≥β@ 8q`∀W↑cXπGλc@αHC⎇G@x↓≤8p¬≤⊂{∂$pε≤8p
A?0 	``8q`∃λ≡eXπ@N_GαPx⎇KPx↓≤8p¬5p{_↓`α≤8p
y?0	ε @∃⎇↑a_@↓α`λ⎇BAHα¬B`{¬#⊂∧	?0ε @⊗≥≡a8∪↓A0`@α`@⎇Cα αqcH¬J@{λ↓`α≤8p_?0/ε @⊗6↑exπGλc@α`z⎇OQHα¬P`{∨C⊂∧&␈0?F @⊗V≡ah⊗@↓gh∀αh=⎇Cc⊂∧¬c`{πdpε≤8p`?0¬G H*U ↔o↑``∞↓∞_Gβ*⎇AQ`α≤8pε
@{βE εU*P,?0πJ@h*U →	↑e`@↓β⊂w⎇D!Hαε3@{"⊂αU*Pp∨0=F @→d↑g`→αβ_N} →j⊂=xow{⎇x